00100			The theoretical basis of our work on artificial intelligence
00200	00200	is the division of the subject into two parts: epistemology
00300	00300	and heuristics.  If we want to make a computer program that 
00400	00400	behaves intelligently in a certain problem domain our first
00500	00500	task is to decide how problems and the information available
00600	00600	for their solution is to be represented in the memory
00700	00700	of the computer.  The study of what kinds of information
00800	00800	there are and how they can be represented has enough in common
00900	00900	with the branch of philosophy called epistemology to justify
01000	01000	using the word.  Once a representation has been decided on
01100	01100	we must write a program that will find the solution of
01200	01200	problem.  This solution may be a move in a chess game, the proof
01300	01300	of a mathematical theorem, the next signals to an artificial
01400	01400	hand or a computer driven car.  At a higher level, the
01500	01500	solution to one problem may be a program representing
01600	01600	a strategy for solving a class of problems.